کارکردگی قابل تعریف